The Formal Framework for Collective Systems

Automated reasoning is becoming crucial for information systems. Building one uniform decision support system has become too complicated. The natural approach to divide the task and combine results from different subsystems into answer. It basic idea behind approach, where solution a composition of multiple subsystems. In this paper, main emphasis on establishing theoretical framework that combines various methods collective system. system’s formal abstraction uses graph theory provides discussion possible aggregation function definitions. proposed tool building testing specific approaches rather than itself.